\begin{tabbing}
d{-}realizes2\=\{i:l\}\+
\\[0ex]($D$; ${\it es}$.$P$(${\it es}$))
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$w$:world\{i:l\}, $p$:fair{-}fifo\{i:l\}($w$). possible{-}world\{i:l\}($D$; $w$) $\Rightarrow$ $P$(w{-}es\{i:l\}($w$; $p$))
\end{tabbing}